1,074 research outputs found

    MARKETING FOR SMALL ENTREPRISES â€" CASE STUDY POSITIONING OF “PLAFAR†DI LTD

    Get PDF
    Bacau health and wellness market has grown to embrace an array of products, including dietary supplements. As a typical “Plafar†store, Plafar DI offers a wide range of natural products, from teas, extracts and creams, to nutritional supplements, cosmetics and biological foods, most of them produced by local companies, as well as imported. Half of Romanian small and medium-sized firms are seriously and severely affected by the economic and financial crisis. Now, like thousand others small companies “Plafar DIâ€, from Bacau, should use an intelligent marketing positioning in order to survive the crisis.brand positioning, SME, case study

    Weak bisimilarity coalgebraically

    Get PDF
    We argue that weak bisimilarity of processes can be conveniently captured in a semantic domain by a combination of traces and coalgebraic finality, in such a way that important process algebra aspects such as parallel composition and recursion can be represented compositionally. We illustrate the usefulness of our approach by providing a fully-abstract denotational semantics for CCS under weak bisimilarity

    Nominal Recursors as Epi-Recursors: Extended Technical Report

    Full text link
    We study nominal recursors from the literature on syntax with bindings and compare them with respect to expressiveness. The term "nominal" refers to the fact that these recursors operate on a syntax representation where the names of bound variables appear explicitly, as in nominal logic. We argue that nominal recursors can be viewed as epi-recursors, a concept that captures abstractly the distinction between the constructors on which one actually recurses, and other operators and properties that further underpin recursion.We develop an abstract framework for comparing epi-recursors and instantiate it to the existing nominal recursors, and also to several recursors obtained from them by cross-pollination. The resulted expressiveness hierarchies depend on how strictly we perform this comparison, and bring insight into the relative merits of different axiomatizations of syntax. We also apply our methodology to produce an expressiveness hierarchy of nominal corecursors, which are principles for defining functions targeting infinitary non-well-founded terms (which underlie lambda-calculus semantics concepts such as B\"ohm trees). Our results are validated with the Isabelle/HOL theorem prover

    Foundational Extensible Corecursion

    Full text link
    This paper presents a formalized framework for defining corecursive functions safely in a total setting, based on corecursion up-to and relational parametricity. The end product is a general corecursor that allows corecursive (and even recursive) calls under well-behaved operations, including constructors. Corecursive functions that are well behaved can be registered as such, thereby increasing the corecursor's expressiveness. The metatheory is formalized in the Isabelle proof assistant and forms the core of a prototype tool. The corecursor is derived from first principles, without requiring new axioms or extensions of the logic

    THE ROLE OF TOURISM MARKETING IN THE STRATEGIC DEVELOPMENT OF THE TOWN OF ROVANIEMI

    Get PDF
    In a small town from Lapland, near the Arctic Circle, lives the most beloved character that each of the children, smaller or larger, is waiting for him to bring gifts on the 25th of December. Santa Clause has set up his headquarters in Rovaniemi, in the north of Finland, the country’s most northern point that can be reached by train. It is the capital of the Lapland Provence and of the Rovaniemi region. Annually, Rovaniemi is visited by approximately 500.000 tourists; the city is not only the gate to Lapland, but also one of the top tourism destinations in the Arctic Circle area. Because of its weak provincial economy based mainly on the exploitation of natural resources (forest, agricultural and hydropower), the economic and social vitality of the Rovaniemi Provence is linked to tourism more than any other region in Finland. These represent the results of the tourism marketing strategy implemented by the town for its development. This paper presents the strategy’s main coordinates and its main results, and analysis the vectors which led to the town’s strategic development, materialized in sustainable competitive advantages.city, marketing strategy, tourism, strategic objectives, strategic development, competitive advantage

    URBAN MANAGEMENT– CURRENT STRATEGIC APPROACHES

    Get PDF
    In recent years urban management conceptual evolutions are more and more connected to the chances in public administration practice, in particular to ways of raising efficiency and effectiveness. The interest shared by a great number of stakeholders regarding urban development, the increasing role of environment issues and the need for a broad vision for managing cities, are all premises required for a strategic approach to urban management performance. The paper presents some relevant issues related to urban management studies: the dynamics of the concept, missions and goals, strategic options. The results of the research indicate that the action directions required to obtain satisfactory levels of efficiency and effectiveness in urban management are: developing o strong habitation policy, locating economic activities, developing public equipment and planning urban transport.urban management, strategic options, planning, habitation, urban transport, public equipment.
    corecore